Minimal axioms for Boolean algebra